/****************************************************************************
 * Elisa 1.0                                                                *
 *--------------------------------------------------------------------------*
 * Author: Vincent Sorin                                                    *
 * Copyright (c) 2004 Laboratoire d'Informatique de Nantes Atlantique       *
 *--------------------------------------------------------------------------*
 * Elisa is distributed WITHOUT ANY WARRANTY. Read the associated           *
 * COPYRIGHT file for more details.                                         *
 *--------------------------------------------------------------------------*
 * elisa_hull_reduction.cpp                                                 *
 ****************************************************************************/

#include <list>
#include "elisa_hull_reduction.h"
#include "elisa_time.h"

#ifdef ELISA_PROFILE
elisa::Clock elisa::HullReduction::ClockBox;
long elisa::HullReduction::NumCall = 0;
#endif

USING_ELISA

//--------------------------------------------------------------------------
// class HullReduction
//--------------------------------------------------------------------------

bool HullReduction::reductionAlgorithm()
{
	bool result = false;

#ifdef ELISA_PROFILE
	HullReduction::ClockBox.start();
	++ HullReduction::NumCall;
#endif

	m_testConstr->evalForward();
	result = m_testConstr->propagBackward();

#ifdef ELISA_PROFILE
	HullReduction::ClockBox.stop();
#endif
	return result;
}
